home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
Developer Source 4
/
developer source - volume 4.iso
/
pcaik
/
mar94
/
webb13.gif
< prev
Graphics Interchange Format
|
1996-01-05
|
53KB
|
495x338
|
8-bit (217 colors)
Labels:
text
|
screenshot
|
font
|
number
|
parallel
|
line
|
black and white
|
document
OCR:
15 - Control Structures (1) factorial_1(1, 1). Page 11 Initial Goal: factorial_1(3,X) (2) factorial_1(N, F) :- N > 1, Goal Variable Bindings: MM is N - 1, X = _ 0B51 factorial_1(NN, FF), F is H * FF . Clause heads at cach level 1: EXIT (2) factorial_1(3,6) 2: EXIT (*) 3 > 1 2: EXIT (*) 2 is 3 - 1 2: EXIT (Z) factorial_1(2,2) 3: EXII (*) 2 > 1 3: EXIT (*) 1 is 2 - 1 3: try (2) factorial_1(1 ,_ 1031) 4: CALL 1 > 1 Current variable values for each level 0: X = _ 0B51 2: N = 2 3: F = 1031 1: N = 3 Z: F = _ 115D 3: NN = 2A4D 1: F = 0851 2: NN = 1 3: FF = _ ZA6D 1: NN = 2 2: FF = _ 1D31 1: FF = _ 115D 3: N = 1 Legal Keys: { * Home End PgUp PgDn Ctrl-I Figure 3. An example from APT's chapter on control structures